Assumptions: binary coproducts, self-dual
Conclusions: binary products
Reason: This holds by self-duality.